|
|
Conceptual Modeling
by Ng, Wilfred.
Publication:
. XXVIII, 514 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Reasoning and Rule Systems
by Faber, Wolfgang.
Publication:
. XIV, 272 p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Atzeni, Paolo.
Publication:
. XX, 592 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Thomas, Nigel.
Publication:
. XII, 341p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XV, 498p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Raedt, Luc.
Publication:
. XII, 257p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. XII, 295 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Practice of Computation
by Nishizaki, Shin-ya.
Publication:
. X, 215p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A General Framework for Reasoning On Inconsistency
by Martinez, Maria Vanina.
Publication:
. VII, 45 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|